The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...
Lire la suiteThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lire la suiteIt is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lire la suiteThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lire la suiteThis book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
Lire la suiteThey are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Lire la suiteThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suiteThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suiteThe book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suiteobot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...
Lire la suiteThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lire la suiteThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suiteThis book is organized in topical sections on query optimization in scientific databases, privacy, searching and mining graphs, ...
Lire la suiteTaking a step-by-step approach, and drawing on the expertise of key researchers in the multimedia and knowledge domains, ...
Lire la suiteThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lire la suiteThe book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Lire la suiteThe book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suiteThe tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Lire la suiteThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suiteThis book includes : graph-based methods, probabilistic and stochastic structural models for PR, image and video analysis, ...
Lire la suite